Partial Order Based Modeling of Concurrency at the System Level

Concurrency at the System Level Francisco Assis Moreira do Nascimento Wolfgang Rosenstiel University of T ubingen, Wilhelm Schickard Institute Dept of Computer Engineering, Sand 13 D-70076 T ubingen Germany Phone: ++49 7071 2978971 FAX: ++49 7071 610399 [email protected] http://www-ti.informatik.uni-tuebingen/~moreira Abstract The Partial Order based Model (POM) is an alternative to model concurrency, which permits a concise symbolic representation, mainly for systems with high degree of parallelism. In this paper we introduce the partial order based model for concurrency and how to use it in modeling at the system level; we present a symbolic representation for the model and its implementation using BDDs; we give reachability analysis algorithms that can be used by performance analysis tasks and formal veri cation; and nally we introduce our co-synthesis approach based on the model.